" Ana Cavalcanti" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science Programming and Software Engineering)

Категория: Компьютеры

10.19 Mb

#2

Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December ... Programming and Software Engineering)

Karin Breitman, Ana Cavalcanti

Категория: Техника

13.82 Mb

#3

Theoretical Aspects of Computing: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings (Lecture Notes in ... Computer Science and General Issues)

Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock

Категория: Компьютеры

4.56 Mb

#4

Testing Techniques in Software Engineering: Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures (Lecture Notes in Computer Science)

Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook

Категория: Компьютеры

3.63 Mb

#5

FM 2009 : formal methods : second world congress, Eindhoven, the Netherlands, November 2-6, 2009 : proceedings

Ana Cavalcanti; Dennis Dams

Категория: Cs_Computer science, CsLn_Lecture notes

10.19 Mb

#6

Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 ; proceedings

K K Breitman; Ana Cavalcanti

Категория: Cs_Computer science, CsLn_Lecture notes

13.88 Mb

#7

Theoretical Aspects of Computing - ICTAC 2006, 3 conf

Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone

Категория: Cs_Computer science, CsLn_Lecture notes

3.72 Mb

#8

Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December

Ana Cavalcanti, Augusto Sampaio, Jim Woodcock

3.00 Mb